@InProceedings{MarianoSouzEndoVija:2019:SyMa,
               author = "Mariano, Matheus Monteiro and Souza, {\'E}rica F. de and Endo, 
                         Andr{\'e} T. and Vijaykumar, Nandamudi Lankalapalli",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and 
                         {Universidade Tecnol{\'o}gica Federal do Paran{\'a} (UTFPR)} and 
                         {Universidade Tecnol{\'o}gica Federal do Paran{\'a} (UTFPR)} and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Identifying approaches to generate test cases in model-based 
                         testing: a systematic mapping",
                 year = "2019",
         organization = "Ibero-American Conference on Software Engineering (CIbSE), 22.",
            publisher = "Ibero-American Conference on Software Engineering",
             abstract = "ontext: Model-Based Testing (MBT) has attracted a lot of attention 
                         from software testing researchers, since it has been ecient in 
                         employing formal models to represent the reactive systems behavior 
                         in order to guide test case generation. Objective: This paper 
                         investigates approaches to automatically generate test cases in 
                         MBT, such as methods, criteria, formal models, and evaluation 
                         strategies of the generated test cases. Method: A systematic 
                         mapping was conducted in order to summarize the main approaches 
                         used in the MBT context. Results: From the mapping, we identied 97 
                         studies addressing approaches to generate test cases in MBT. 
                         Conclusion: Several pointers to some approaches have been identied 
                         which will help practitioners and researchers to identify future 
                         research from existing research eorts in MBT. Among the indicators 
                         that most caught the attention is that there is a great eort spent 
                         in developing new test methods (32 methods), test criteria (29 
                         criteria), formal models (24 models) and evaluations conducted in 
                         the selected studies (145 types).",
  conference-location = "La Habana, Cuba",
      conference-year = "22-26 apr.",
             language = "en",
        urlaccessdate = "01 maio 2024"
}